windowManager: use Meta.MonitorManager.get_display_configuration_timeout()

Instead of hardcoding a 20 seconds limit.

https://bugzilla.gnome.org/show_bug.cgi?id=767805

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 272dbec89287fc4200afe46b7d9910c83138bac2..eac38899469a92d319eeae9742ef0d4cea0000ed 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -33,7 +33,6 @@ var DIM_BRIGHTNESS = -0.3;
 var DIM_TIME = 0.500;
 var UNDIM_TIME = 0.250;
 
-var DISPLAY_REVERT_TIMEOUT = 20; // in seconds - keep in sync with mutter
 var ONE_SECOND = 1000; // in ms
 
 const GSD_WACOM_BUS_NAME = 'org.gnome.SettingsDaemon.Wacom';
@@ -64,7 +63,7 @@ var DisplayChangeDialog = new Lang.Class({
 
         this._wm = wm;
 
-        this._countDown = DISPLAY_REVERT_TIMEOUT;
+        this._countDown = Meta.MonitorManager.get_display_configuration_timeout();
 
         let iconName = 'preferences-desktop-display-symbolic';
         let icon = new Gio.ThemedIcon({ name: iconName });